

(and (< -3.14 3)
     (> 3.14 3))
